61. Mathematical aspects of natural and formal languages
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Mathematics
Classification :
QA
76
.
7
.
M376
1994
62. Mathematical aspects of natural and formal languages
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming languages (Electronic computers)- Mathematics
Classification :
M426
63. Mathematical foundations of computer science
Author: edited by A. Blikle
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
267
.
5
.
S4
S89
1974
64. Mathematical foundations of computer science 1995
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
Classification :
QA267
.
M38
1995
65. Mathematical foundations of computer science 1977. Proceedings, 6th Symposium. Tatranska Lonmica, September 5-9, 1977
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
267
.
M37
66. Mathematical foundations of computer science : symposium at ..
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
45
,
etc
...
67. Mathematical foundations of computer science : symposium at ..
Author: A. Kreczmar, G. Mirkowska )Eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
379
68. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
Author: A. Tarlecki )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
520
69. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
Author: Marisa Venturini Zilli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
280
70. Methods of algorithmic language implementation
Author: edited by A. Ershov and C. H. A. Koster
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
47
71. Methods of algorithmic language implementation
Author: edited by A. Ershov and C.H.A. Koster
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
47
72. New trends in formal languages
Author: / Gheorghe P??un, Arto Salomaa, eds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers),Formal languages.,Parsing (Computer grammar)
Classification :
QA
,
76
.
7
,.
N49
,
1997
73. New trends in formal languages :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Formal languages ; Parsing (Computer grammar) ;
74. New trends in formal languages : control, cooperation, and combinatorics
Author: Gheorghe Paun, Arto Salomaa )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Formal languages,، Parsing )Computer grammar(
Classification :
QA
76
.
L28
Vol
.
1218
75. Programmiersprachen und Programmentwicklung :
Author: herausgegeben von Hans Wössner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
Classification :
QA76
.
7
H473
1982
76. Programming languages :
Author: André Rauber Du Bois, Phil Trinder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
B73
2013
77. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
78. Semantics With Applications : A Formal Introduction
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers) - Semantics,زبان های برنامه نویسی کامپیوتر - معنی شناسی,Nielson, Hanne Riis, 1954-,Nielson, Flemming, 1955-
Classification :
CD-B
,
QA
,
76
,.
7
,.
N54
,
1992
79. Semantics with applications: a formal introduction
Author: Nielson, Hanne Riis, 4591-
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Programming languages )Electronic computers(- Semantics
Classification :
QA76
.
7
.
N541992
80. Simple program schemes and formal languages
Author: Engelfriet, Joost.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
E53
